A framework for model transformation verification
نویسندگان
چکیده
منابع مشابه
A framework for verification of model transformations
A model transformation verification task may involve a number of different transformations, from one or more of a wide range of different model transformation languages, each transformation may have a particular transformation style, and there are a number of different verification properties which can be verified for each language and style of transformation. Transformations may operate upon m...
متن کاملA Weaving Framework for Model Transformation
Model transformations are the core and research focus of MDA(model driven architecture). Nowadays, there are many model transformation approaches and tools, and the heterogeneity of them causes that the model transformation code can’t be reused easily and the cost of studying and using model transformation increases. To eliminate these shortcomings, inspired by model weaving technique, this pap...
متن کاملLanguage-Independent Model Transformation Verification
One hinderance to model transformation verification is the large number of different MT languages which exist, resulting in a large number of different language-specific analysis tools. As an alternative, we define a single analysis process which can, in principle, analyse specifications in several different transformation languages, by making use of a common intermediate representation to expr...
متن کاملA Model Transformation Framework for Model Driven Engineering
Model Driven Engineering(MDE) is a model-centric software development approach aims at improving the quality and productivity of software development processes. While some progresses in MDE have been made, there are still many obstacles in realizing the full benefits of model driven engineering. These obstacles include incompleteness in existing modeling notations, inadequate in tools support, ...
متن کاملThe Classification Framework for Model Transformation
Wide usage of model transformation in the Information Systems has resulted in a number of transformation approaches recently. In order to provide an insight into the existing transformation approaches, to draw out the practicability and analyze the strengths and weaknesses of these approaches a multidimensional classification is required. In this paper, a classification framework is proposed wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2014
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-014-0313-z